🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
↕️ Bidirectional Types
Synthesis Mode, Checking Mode, Local Inference, Type Elaboration
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org
·
15h
λ
Lambda Calculus
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Defeating Return Type Polymorphism
philipphagenlocher.de
·
1d
·
Discuss:
Hacker News
📏
Linear Haskell
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Three Solutions to Nondeterminism in AI
blog.hellas.ai
·
2d
·
Discuss:
Hacker News
✅
Type Checking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Slip – A Lisp System in JavaScript
lisperator.net
·
5h
·
Discuss:
Hacker News
🌱
Minimal Lisps
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.to
·
4h
·
Discuss:
DEV
🪄
C Metaprogramming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Categorical systems theory
topos.institute
·
7h
🔗
Category Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com
·
1d
·
Discuss:
Hacker News
🧮
Combinator Calculus
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
GaloisInc/parameterized-utils
github.com
·
2d
📏
Linear Haskell
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cactus Language • Semantics 3
inquiryintoinquiry.com
·
3h
📋
Backus-Naur Form
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
From CAP to GAP?
fsharpforfunandprofit.com
·
12h
·
Discuss:
DEV
🧪
Testing Compilers
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com
·
9h
🧮
Combinator Calculus
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Haskell Weekly Issue 493
haskellweekly.news
·
1d
·
Discuss:
Hacker News
⚡
functional programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Effects in Rust (and Koka)
aloso.foo
·
19h
·
Discuss:
r/rust
⚡
Algebraic Effects
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Three ways formally verified code can go wrong in practice
buttondown.com
·
2h
📜
Proof Languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org
·
15h
🔍
ML Language
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Let's Write a Macro in Rust
hackeryarn.com
·
3h
·
Discuss:
Hacker News
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LINQ and Learning to Be Declarative
nickstambaugh.dev
·
1d
·
Discuss:
Hacker News
📋
Datalog
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Nonlinear phase gates as Airy transforms of the Wigner function
nature.com
·
5h
∀
Quantified Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com
·
3h
·
Discuss:
r/rust
⚡
Partial Evaluation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cross-framework hybrid artificial intelligence for high-penetration renewable energy integration: Multi-regional forecasting and adaptive control
sciencedirect.com
·
1h
🏛️
Elm Architecture
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
Page 2 »